.gitignore: Ignore tools/ocaml/libs/xentoollog/ build outputs

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/.gitignore b/.gitignore
index 3253675e24259061d90620f178606853e41183bf..f88e43151bdf4f4c657bffddb2c31a45a29aa4bd 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -383,6 +383,9 @@ tools/ocaml/libs/xl/_libxl_types.ml.in
 tools/ocaml/libs/xl/_libxl_types.mli.in
 tools/ocaml/libs/xl/xenlight.ml
 tools/ocaml/libs/xl/xenlight.mli
+tools/ocaml/libs/xentoollog/_xtl_levels.*
+tools/ocaml/libs/xentoollog/xentoollog.ml
+tools/ocaml/libs/xentoollog/xentoollog.mli
 tools/ocaml/xenstored/oxenstored
 
 tools/debugger/kdd/kdd